Mathematical Logic – alle Bücher

Guillermo Badia, John N Crossley, John C Stillwell, Christopher J Ash
What Is Mathematical Logic?

Mathematical logic has grown into an indispensable tool in computer science as well as other parts of mathematics. This concise book presents the subject of mathematical logic in a lively and approachable…

lieferbar innerhalb 1-2 Wochen

Buch

The Times Mind Games
The Times Kakuro

Test your powers of logic with 200 puzzles from The Times*.*Just like a mathematical crossword, these puzzles are ideal for fans of Su Doku who relish grappling with figures. Contains four levels of diffi…

Erscheint bald

Buch

The Times
The Times Kakuro Book 2

Test your powers of logic with 200 puzzles from The Times*.*Just like a mathematical crossword, these puzzles are ideal for fans of Su Doku who relish grappling with figures. Contains four levels of diffi…

lieferbar innerhalb 1-2 Wochen

Buch

Dirk W. Hoffmann
Limits of Mathematics

Mathematics Study Resources - Band 19

Is mathematics free of contradictions? Are there truths beyond what can be proven? Is it possible to encode our mathematical knowledge into a single number?Modern mathematical logic of the twentieth centu…

lieferbar innerhalb 2-3 Wochen

Buch

William M. Farmer
Simple Type Theory

Computer Science Foundations and Applied Logic

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to sim…

lieferbar innerhalb 2-3 Wochen

Buch

Ludwig Wittgenstein,
Remarks on Mathematics and Logic

The first of five planned volumes, this book collects Wittgenstein's unabridged writings on mathematics and logic composed between 1941 and 1943.In 1956, a significant but abridged portion of Ludwig Wittg…

Erscheint bald

Buch

Rethinking the History of Logic, Mathematics and Exact Sciences

The two volumes are dedicated to Volker Peckhaus, editor of the well-known Journal History and Philosophy of Logic, who has been playing a major role in shaping the philosophical and social history of log…

lieferbar innerhalb 2-3 Wochen

Buch

The Heuristic View

1 The Heuristic View: Historical Roots and Emerging Perspectives (Emiliano Ippoliti, Fabio Sterpetti).- 2 The Two Paradigms of Logic (Carlo Cellucci).- 3 Lakatos' Contribution to the Philosophy of Mathema…

lieferbar innerhalb 2-3 Wochen

Buch

Daniel Wollschläger
Grundlagen der Datenanalyse mit R

Statistik und ihre Anwendungen

Dieses Buch liefert eine anwendungsorientierte Einführung in die Datenauswertung mit der freien Statistikumgebung R. Es behandelt deskriptive Auswertungen ebenso umfassend wie inferenzstatistische Analyse…

lieferbar ab 18.5.2026.

Buch

John Stillwell
The Story of Proof

How the concept of proof has enabled the creation of mathematical knowledgeThe Story of Proof investigates the evolution of the concept of proof-one of the most significant and defining features of mathem…

lieferbar ab 8.9.2026.

Buch

Francisco Rodríguez-Consuegra
Russell, Gödel, Tarski

Studies in Universal Logic

This book is a compilation of the author's most important papers about the contributions of Bertrand Russell, Kurt Gödel, and Alfred Tarski to the philosophy of logic and mathematics. It also includes a p…

lieferbar innerhalb 2-3 Wochen

Buch

Burkard Polster
Qed

Which famous proof did Archimedes inscribe on his tombstone? How and why do knots make perfect pentagons? Have you ever seen a proof so complete that it is just obvious?In this delicious little book, top …

Erscheint bald

Buch

Language Change: Theoretical and Empirical Perspectives

This book offers a comprehensive exploration of recent advances in empirical, theoretical, and experimental research on language change, with a focus on semantic evolution. Bridging the gap between histor…

lieferbar innerhalb 2-3 Wochen

Buch

Sébastien Gandon
Bertrand Russell and the Global Reception of Analytic Philosophy

History of Analytic Philosophy

This book provides the first exploration of a new field of study, that of the global reception of analytic philosophy. Its aim is to understand how Russell's program of logical analysis of philosophy was …

lieferbar ab 5.5.2026.

Buch

Antonio Montalbán
Computable Structure Theory

Computable structure theory quantifies and studies the relative complexity of mathematical structures. This text, in conjunction with the author's previous volume, represents the first full monograph on c…

lieferbar innerhalb 2-3 Wochen

Buch